Reasoning system - PDFSEARCH.IO - Document Search Engine

Reasoning system
Results: 468

#	Item
91	GNOWSYS: A System for Semantic Computing Nagarjuna G. Homi Bhabha Centre for Science Education, Tata Institute of Fundamental Research, Mumbai India, , Add to Reading List Source URL: gnowledge.org Language: English - Date: 2009-04-14 09:54:49 Ontology Semantic Web Information science Technical communication GNOWSYS Knowledge representation and reasoning Upper ontology Frame language Semantic network Knowledge representation Information Science
92	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
93	I Had a Dream: AAAI Presidential Address, 19 August 1985 Woody Bledsoe Microelectronics and Computer Technology Corporation, 9430 Research Boulevard, Austin, TexasTwenty-five years ago I had a dream, a daydream, Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-15 21:47:11 Artificial intelligence Logic Information systems Programming paradigms Computational neuroscience Expert system Cyc Knowledge representation and reasoning Inference Science Knowledge Reasoning
94	traditional medicine.final Add to Reading List Source URL: www.eurecom.fr Language: English - Date: 2007-10-18 14:02:40 Inductive reasoning Reasoning Multi-agent systems Information science Knowledge representation Case-based reasoning Reasoning system Ontology Intelligent agent Artificial intelligence Science Cognition
95	Reasoning About the Beliefs of Agents in Multi-Agent Domains in the Presence of State Constraints: The Action Language mAL Chitta Baral1 , Gregory Gelfond1 , Enrico Pontelli2 , and Tran Cao Son2 1 Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:58 Modal logic Model theory Symbol Kripke semantics Epistemic modal logic Interpretation Dynamical system Logic Mathematical logic Philosophical logic
96	Chapter 3 Towards a Self-reflective, Context-aware Semantic Representation of Mathematical Specifications Peter Schodl and Arnold Neumaier and Kevin Kofler and Ferenc Domes and Hermann Schichl Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2011-05-11 10:42:47 Data types Programming paradigms Semantics Knowledge representation Semantic Web Semantic memory Knowledge representation and reasoning Type system Object Computing Software engineering Computer programming
97	Event Matching using Semantic and Spatial Memories Majed Ayyad IT Department (DISI), University of Trento, Via Sommarive 14, Trento, I-38123 Add to Reading List Source URL: eswc-conferences.org Language: English - Date: 2015-05-13 12:33:38 Information science Semantic Web Ontology Knowledge engineering Upper ontology Rete algorithm Complex event processing Knowledge representation and reasoning Production system Knowledge representation Science Artificial intelligence
98	Two Paradigms Are Better Than One, And Multiple Paradigms Are Even Better Arun K. Majumdar and John F. Sowa VivoMind Intelligence, Inc. Abstract. During the past half century, the field of artificial intelligence has dev Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2009-08-05 14:09:03 Reasoning Programming paradigms Software architecture Intelligent agent Society of Mind Cognitive architecture Reasoning system Logic programming Frame language Artificial intelligence Science Knowledge
99	Automated Critique of Sketched Mechanisms Add to Reading List Source URL: www.spatiallearning.org Language: English Knowledge Cognitive science Educational psychology Scientific method Classical mechanics Qualitative Reasoning Group Ken Forbus System Spatial–temporal reasoning Science Reasoning Ethology
100	In Proceedings of the ACL 2001 Workshop on Human Language Technology and Knowledge Management, July 2001, Toulouse, France Gathering Knowledge for a Question Answering System from Heterogeneous Information Sources Boris Add to Reading List Source URL: start.csail.mit.edu Language: English Computational linguistics Semantic Web Information retrieval Ontology Natural language processing Question answering Cyc Knowledge representation and reasoning Knowledge management Science Information science Information

UPDATE